First–order Semantics for Higher–order Processes
نویسندگان
چکیده
منابع مشابه
Coalgebraic semantics for timed processes
We give a coalgebraic formulation of timed processes and their operational semantics. We model time by a monoid called a “time domain”, and we model processes by “timed transition systems”, which amount to partial monoid actions of the time domain or, equivalently, coalgebras for an “evolution comonad” generated by the time domain. All our examples of time domains satisfy a partial closure prop...
متن کاملSemantics of Communicating Processes
The semantics of a simple language for describing tightly coupled "synchronous" systems is defined. An operational semantics is given by term rewriting rules and a consistent fully abstract denotational semantics is defined based on the concept of observable behavior and advanced fixed point theory. Particular properties of the language are analysed and especially algebraic laws of the language...
متن کاملNon-Interleaving Semantics for Mobile Processes
This paper studies causality in the-calculus. Our notion of causality combines the dependencies given by the syntactic structure of processes with those originated by passing names. Our studies show that two transitions not causally related may however occur in a xed ordering in any computation, i.e., the-calculus may implicitly express a precedence between actions. The same partial order of tr...
متن کاملRigorous Semantics and Renement for Business Processes
ICTERI, the International Conference on Information and Communication Technologies in Education, Research, and Industrial Applications: Integration, Harmonization, and Knowledge Transfer, has become a considerable and stable international ICT conference. It is a real pleasure for all ICTERI players, that in contrast to 2014, the 11 edition could bring scholars and expert representatives physica...
متن کاملSeparation Logic Semantics for Communicating Processes
This paper explores a unification of the ideas of Concurrent Separation Logic with those of Communicating Sequential Processes. It extends separation logic by an operator for separation in time as well as separation in space. It extends CSP in the direction of the pi-calculus: dynamic change of alphabet is achieved by communication of channel names. Separation is exploited to ensure that each c...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 2001
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(04)80873-9